A Pearl Spectrometer
نویسندگان
چکیده
منابع مشابه
Balancing Lists: A Proof Pearl
Starting with an algorithm to turn lists into full trees which uses non-obvious invariants and partial functions, we progressively encode the invariants in the types of the data, removing most of the burden of a correctness proof. The invariants are encoded using non-uniform inductive types which parallel numerical representations in a style advertised by Okasaki, and a small amount of dependen...
متن کاملPearl: A Probabilistic Chart Parser
This i)al)er describes a Ilatural language i)ars-ing algorith,n for unrestricted text which uses a prol)al)ility-I~ased scoring function to select the "l)est" i)arse of a sclfl,ence. The parser, T~earl, is a time-asynchronous I)ottom-ul) chart parser with Earley-tyl)e tol)-down prediction which l)ur-sues the highest-scoring theory iu the chart, where the score of a theory represents tim extent ...
متن کاملA Pearl for Uterine Fibroids
Why was this study done? Few studies have explored the utility of medical interventions in the management of uterine fibriods. A 2011 report by the Agency of Healthcare Research and Quality [1] concluded that the literature examining the effectiveness of treatment strategies was scanty. Gonadotropinreleasing hormone (GnRH) analogues, such as leuprolide acetate, have shown promise in the suppres...
متن کاملPearl drops
– If deposited on a hydrophobic rough substrate, a small drop of water can look like a pearl, with a contact angle close to 180. We examine the conditions for observing such a phenomenon and show practical achievements where the contact angle can be predicted and thus quantitatively tuned by the design of the surface microstructure. Presentation. – The contact angle of a drop on a solid is idea...
متن کاملA coincidence scintillation spectrometer
The coincidence spectrometer consists of two scintillation spectrometers, each of which can be used as either a beta-ray or a gamma-ray spectrometer, depending on what crystals are used. The pulses from the first spectrometer are analyzed with a single channel analyzer. The pulses corresponding to a certain energy are picked out with the analyzer and are fed into one channel of a coincidence ci...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nano Letters
سال: 2020
ISSN: 1530-6984,1530-6992
DOI: 10.1021/acs.nanolett.0c03618